#!/usr/bin/tcc -run
#include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>

int main(int argc, char *argv[])
{
    if(argc == 1){ return 0;}

    /*打开设备文件*/
    int fd = open("/dev/mmgdev0", O_RDWR);

    char buff[10] = "12345\0";

    /*写入数据*/
    write(fd, buff, sizeof(buff));

    /*关闭设备*/
    close(fd);

    return 0;
}
